Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
891	Package ‘lpSolve’ July 26, 2014 Version[removed]Date[removed]Title Interface to Lp_solve v. 5.5 to solve linear/integer programs Author Michel Berkelaar and others Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-26 02:28:22 Operations research Linear programming Convex optimization Combinatorial optimization Array data type Constraint Assignment problem Matrix Vector space Mathematics Algebra Mathematical optimization
892	Programming by Manipulation for Layout Thibaud Hottelier Ras Bodik Kimiko Ryokai Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-08-25 13:22:16 Programming paradigms Graph drawing Radial tree Requirement Electric Database index ACE Software Computing Constraint programming
893	Package ‘Rglpk’ July 2, 2014 Version[removed]Title R/GNU Linear Programming Kit Interface Description R interface to the GNU Linear Programming Kit. GLPK is open source software for solving large-scale linear programmi Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 10:26:39 Numerical analysis GNU Linear Programming Kit Linear programming Constraint MPS Cutting-plane method PROPT Mathematical optimization Operations research Applied mathematics
894	Microsoft Word - GIT-GVU-09-02 Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2009-01-08 19:33:45 Constraint Collateral damage Linguistics Language Artificial intelligence Constraint programming Constraint satisfaction Logic programming
895	Random Constraint Satisfaction: Easy Generation of Hard (Satisfiable) Instances Ke Xu 1,∗ National Lab of Software Development Environment, School of Computers, Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2007-04-10 23:13:08 Constraint satisfaction problem Computing Constraint satisfaction Constraint logic programming Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
896	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ New York University Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-08-31 14:42:45 IP Proof of knowledge NP Function Constraint programming Mathematics Applied mathematics
897	Constraint Satisfaction Problems (CSPs) Hal Daumé III Computer Science University of Maryland [removed] Add to Reading List Source URL: www.umiacs.umd.edu Language: English - Date: 2012-02-07 10:46:32 Computer programming Constraint satisfaction problem Constraint satisfaction Search algorithm Constraint graph Boolean satisfiability problem Decomposition method Constraint programming Theoretical computer science Software engineering
898	A Simple Model to Generate Hard Satisfiable Instances Ke Xu1 1 Fr´ed´eric Boussemart2 Add to Reading List Source URL: www.nlsde.buaa.edu.cn Language: English - Date: 2005-04-26 01:56:54 Applied mathematics NP-complete problems Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Constraint satisfaction problem Constraint satisfaction Local search Theoretical computer science Constraint programming Mathematics
899	Trajectory Optimization for Satellite Reconfiguration Maneuvers with Position and Attitude Constraints Ian Garcia and Jonathan P. How Aerospace Controls Laboratory Massachusetts Institute of Technology {ianmga, jhow}@mit Add to Reading List Source URL: acl.mit.edu Language: English - Date: 2011-06-05 16:48:19 Convex optimization Mathematics Mathematical optimization Linear programming Trajectory optimization Spacecraft Motion planning Constraint algorithm Operations research Applied mathematics Aerospace engineering
900	A Decentralized Algorithm for Robust Constrained Model Predictive Control Add to Reading List Source URL: acl.mit.edu Language: English - Date: 2011-06-05 16:48:13 Mathematics Science Control theory Model predictive control Algorithm Linear programming Constraint satisfaction Candidate solution Dantzig–Wolfe decomposition Operations research Applied mathematics Mathematical optimization

UPDATE